曲面拓扑是拓扑图论的基础。当然即使我们不熟悉曲面拓扑的理论,也仍然不妨碍我们研究拓扑图论,毕竟拓扑图论上所用的拓扑学只是一点点。
设是一个豪斯多夫空间.如果上的每一个点都有一个开邻域同胚于欧氏平面中的开圆盘,那么我们就说是一个二维流形.
设是一个二维流形,而是一个从闭区间到的连续映射.我们令.那么我们就说是上的一条曲线,其中和就是曲线的端点;如果是单射,那么就是一条简单曲线;如果的两个端点是重合的,那么就是一条闭曲线;如果在开区间上是单射并且的两个端点重合,那么就是一条简单闭曲线.设.如果不是闭曲线,那么,就是曲线上从到的一个曲线段;如果是闭曲线,那么,或就是曲线上从到的一个曲线段.
如果二维流形上任意两点间总有一条简单曲线连接,那么我们就说是弧连通的.但是,二维流形未必都是弧连通的.在包含意义下极大的弧连通子集被称为区域.如果中任意开覆盖都有有限子覆盖,则称是紧致的.紧致的、弧连通的二维流形就是曲面.没有边界的曲面称为闭曲面.欧氏平面是二维流形但不是曲面,因为它无界因而不紧致;莫比乌斯带是曲面但不是闭曲面,因为它有边界;球面、环面、射影平面、克莱因瓶都是常见的闭曲面.
根据著名的闭曲面的分类定理,我们知道:任何闭曲面总是可以通过给球面添加环柄和交叉帽来得到.设闭曲面是从球面添加个环柄和个交叉帽得到的.当且仅当时,才是可定向的曲面.令,我们称之为闭曲面的欧拉亏格.一般所说的欧拉示性数是,在拓扑图论中通常回避这个参数.众所周知,借助球极射影,可以将删除一点(北极)后的球面与欧氏平面建立同胚关系,所以,我们规定欧氏平面的欧拉亏格与球面相同,即.在以后的讨论中,我们简称欧氏平面为平面.
设是一个闭曲面或平面,是一个图.的-画法是由两个单射和构成的有序对,记作,简记作.其中,将的顶点映射为的点,我们仍然称的像是的顶点;而将的边映射为连接相应顶点的简单曲线(环被映射为简单闭曲线),我们仍然称的像是的边.的顶点的全体记作,的边的全体记作.设,.如果且不是的端点,那么我们说穿过点.如果的-画法还满足:
- 任意边不穿过顶点,
- 任意两边不相切,
- 任意两边公共点有限,
- 任意三边不穿过同一点,
那么我们就说是的正规-画法.
设是图的正规-画法,,.如果都穿过,就说和在上交叉于,也说是的一个交叉.上交叉的全体叫做的交叉集,记作.上交叉的总数叫做的交叉数,记作.设是的所有正规-画法的全体.定义在上的交叉数为
如果是使得的正规-画法,那么我们就称是在上的cr-最小画法.求图在上的交叉数和cr-最小画法的问题,就是图交叉数问题.
设,令,令.例如,在正规-画法上,边上所包含的交叉的集合和个数,就可以分别记作:和.
特别地,如果是平面,那么,上述符号中的通常省略;上述术语中的通常换成“平面”.所以和一般也写成和.
在图的-画法中,由于图的边被映射成了简单曲线或简单闭曲线,所以的任何边不会和自己交叉.
设是一个闭曲面或平面,是一个图,是的一个正规-画法.如果没有交叉,我们就说是的一个==-嵌入==,也说通过嵌入到上.当是平面时,我们称-嵌入为平面嵌入.称能嵌入平面的图为可平面图.如果固定图的-嵌入,并将与等同看待,那么的顶点和边分别可以看成上的相应点和相应简单(闭)曲线,此时我们称为上的拓扑图;特别地,如果是平面,那么就称拓扑图为平面图.
可平面图和平面图是不同的.一个可平面图可能有多种平面嵌入,而平面图则固定了一种平面嵌入;一个可平面图本质上仍然是由顶点集和边集构成的有序二元组,而平面图实际上是一种拓扑图,它是由顶点集、边集和面集构成的有序三元组.
设是上的一个拓扑图.我们称
的区域(即极大弧连通子集)为的面.的面集用或表示,面数用表示.设.的边界记作.可以看作的一个拓扑子图,但未必是连通图.实际上,当且仅当连通时,的每个面的边界才都是连通图.如果只有一个连通分支,那么显然是一条闭游走(closed walk),我们称之为的边界闭游走;的边界闭游走的长度称为的度,记作.不一定等于所关联的边数.这是因为:如果关联了割边,那么两侧都是,这导致在中会出现两次.但这并不影响握手定理的成立.
(面边)握手定理 如果是平面图,那么
如果是一个圈,那么我们称这个圈是一个面圈.同样因为可能关联割边,所以边界闭游走不一定是圈,除非是2-连通的.
Whitney定理 除和外,-连通的平面图的每个面的边界都是圈.
Whitney定理的推论 无环-连通的平面图的任何顶点的邻域都会构成一个圈.
一般来讲,如果有一个-嵌入,使得每个面都同胚于圆盘,则称这个嵌入是一个2-腔胞嵌入.什么图在什么闭曲面上会有2-腔胞嵌入,这是拓扑图论的一个重要研究课题,此处不便展开.
关于顶点、边、面三者之间的数量关系有著名的Eular-Poinare公式.
Eular-Poinare公式 如果上拓扑图是连通的,那么.
将Eular-Poinare公式限制在平面图上使用(此时一般称为Eular公式)可以得到如下两个常用推论.
推论1. 如果是至少个顶点的简单可平面图,那么,其中等号成立当且仅当的每个平面嵌入都是三角剖分(即每个面的边界都是-圈的平面嵌入).
推论2. 每个简单可平面图最小度都不超过.
设是平面上的曲线.如果是平面上有限个直线段的并,那么我们称是平面上的一条折线.类似地,我们可以定义闭折线.如果既是简单曲线又是折线,那么我们就称是简单折线;同样地,如果既是简单闭曲线又是折线,那么我们就称是简单闭折线.
引理1. 设是平面上的一个弧连通的开集.那么内任意两点都可以被内的一条简单折线连接.
证明. 任取.因为是弧连通的,所以中存在连接的简单曲线.对每个,存在以为心的开的圆盘,所以是的一个开覆盖.因为连续映射保持紧致性,所以在上是紧致的.所以有一个有限子覆盖,记作.这样就很容易构造包含于的、连接的折线了.
使用引理1,很容易证明如下引理.
引理2. 任何可平面图都有一个平面嵌入,使得每条边都是简单折线.
事实上还可以进一步证明,任何可平面图都有一个直线平面嵌入,也就是每个边都是直线段的嵌入.这个定理证明很复杂,这里不予给出.
直线嵌入定理 任何可平面图都有一个平面嵌入,使得每条边都是直线段.
使用引理1,还能证明著名的Jordan曲线定理.它的证明极其繁琐复杂,我们在这里不予给出.
Jordan曲线定理 平面上任何简单闭曲线的补是两个区域,一个有界,一个无界.
Jordan曲线定理事实上表明,上任何两个只有有限个公共点的简单曲线必然相交偶数次.
需要注意的是:Jordan曲线定理在闭曲面上并不成立.比如球面上的简单闭曲线分出两个有界的区域.环面的经线和纬线都只能分出一个区域.
设是平面上的一条简单闭曲线,由Jordan曲线定理可知,是两个区域,其中有界的区域称为的内域,记作,无界的区域称为的外域,记作.
特别地,如果是平面图,那么在中有一个面是无界的,我们称之为外面;其他面都是有界的,我们称之为内面.
使用Jordan曲线定理可以证明:包含-细分和-细分的图都不可平化.事实上,这是可平面性的充要条件,也就是著名的Kuratowski定理,该证明复杂,此处不予呈现.
Kuratowski定理 一个图是可平面的当且仅当它不包含-细分和-细分.
与之相关的另一个重要定理就是Wagner定理.
Wagner定理 一个图是可平面的当且仅当它不包含-minor和-minor.